The exokernel operating system architecture

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.Includes bibliographical references (p. 115-120).This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.On traditional operating systems only trusted software such as privileged servers or the kernel can manage resources. This thesis proposes a new approach, the exokernel architecture, which makes resource management unprivileged but safe by separating management from protection: an exokernel protects resources, while untrusted application-level software manages them. As a result, in an exokernel system, untrusted software (e.g., library operating systems) can implement abstractions such as virtual memory, file systems, and networking. Themain thrusts of this thesis are: (1) how to build an exokernel system; (2) whether it is possible to build a real one; and (3) whether doing so is a good idea. Our results, drawn from two exokernel systems [25, 48], show that the approach yields dramatic benefits. For example, Xok, an exokernel, runs a web server an order of magnitude faster than the closest equivalent on the same hardware, common unaltered Unix applications up to three times faster, and improves global system performance up to a factor of five. The thesis also discusses some of the new techniques we have used to remove the overhead of protection. Themost unusual technique, untrusted deterministic functions, enables an exokernel to verify that applications correctly track the resources they own, eliminating the need for it to do so. Additionally, the thesis reflects on the subtle issues in using downloaded code for extensibility and the sometimes painful lessons learned in building three exokernel-based systems.by Dawson R. Engler.Ph.D

The design and implementation of a prototype exokernel operating system

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.Includes bibliographical references (p. 99-106).by Dawson R. Engler.M.S

Decentralizing UNIX abstractions in the exokernel architecture

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.Includes bibliographical references (p. 49-51).by Héctor Manuel Briceño Pulido.M.Eng

Canada-Africa Relations in Changing Core-Periphery Dynamics: A Chance to "Come Back" Differently

The Department of Foreign Affairs Canada sees the dynamism at play across the African continent as calling out for Canadian engagement. Africa in the twenty-first century is no longer the continent emerging from colonial rule; it seeks new forms of relationships with international partners. The African Development Bank, for instance, has identified five priorities for inclusive growth on the continent. The challenges are huge, as is the potential for transformative change. But the conditions for international collaboration in achieving these goals have changed; African leaders are seeking new forms of associations and teamwork. Canada has an opportunity to "come back" differently if it can look beyond its narrow mining interests and become an active partner working with public authorities in need of new and bold international partnerships. Unfortunately, Trudeau's "Canada is back" campaign does not look set to change the status quo. And, in a world where the political economic power is moving east, African countries do not have much reason to listen to Canada

Search for Charged Higgs Bosons at LEP

A search for pair-produced charged Higgs bosons is performed with the L3 detector at LEP using data collected at centre-of-mass energies between 189 and 209GeV, corresponding to an integrated luminosity of 629.4/pb. Decays into a charm and a strange quark or into a tau lepton and its neutrino are considered. No significant excess is observed and lower limits on the mass of the charged Higgs boson are derived at the 95% confidence level. They vary from 76.5 to 82.7GeV, as a function of the H->tv branching ratio

The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel

International audienceThe increasing adoption of the Linux kernel has been sustained by a large and constant maintenance effort, performed by a wide and heterogeneous base of contributors. One important problem that maintainers face in any code base is the rapid understanding of complex data structures. The Linux kernel is written in the C language, which enables the definition of arbitrarily uninformative datatypes, via the use of casts and pointer arithmetic, of which doubly linked lists are a prominent example. In this paper, we explore the advantages and disadvantages of such lists, for expressivity, for code understanding, and for code reliability. Based on our observations, we have developed a toolset that includes inference of descriptive list types and a tool for list visualization. Our tools identify more than 10,000 list fields and variables in recent Linux kernel releases and succeeds in typing 90%. We show how these tools could have been used to detect previously fixed bugs and identify 6 new ones

Search for Charged Higgs Bosons in e+e- Collisions at Centre-of-Mass Energies up to 202 GeV

A search for pair-produced charged Higgs bosons is performed with the L3 detector at LEP using data collected at centre-of-mass energies between 192 and 202 GeV, corresponding to an integrated luminosity of 233.2 pb^-1. Decays into a charm and a strange quark or into a tau lepton and its neutrino are considered. The observed events are consistent with the expectations from Standard Model background processes. Including data taken at lower centre-of-mass energies, lower limits on the charged Higgs mass are derived at the 95% confidence level. They vary from 67.4 to 79.9GeV as a function of the H^+/- --> tau nu branching ratio

Search for R-parity Violating Decays of Supersymmetric Particles in e+e- Collisions at LEP

A search, in e^+e^- collisions, for chargino, neutralino, scalar lepton and scalar quark pair-production is performed, without assuming R-parity conservation in decays, in the case that only one of the coupling constants lambda_ijk or lambda''_ijk is non-negligible. No signal is found in data up to a centre-of-mass energy of 208GeV. Limits on the production cross sections and on the masses of supersymmetric particles are derived

Cosmic Rays from the Knee to the Highest Energies

This review summarizes recent developments in the understanding of high-energy cosmic rays. It focuses on galactic and presumably extragalactic particles in the energy range from the knee (10^15 eV) up to the highest energies observed (>10^20 eV). Emphasis is put on observational results, their interpretation, and the global picture of cosmic rays that has emerged during the last decade.Comment: Invited review, submitted to Progress in Particle and Nuclear Physic

Standing genetic variation and compensatory evolution in transgenic organisms: a growth-enhanced salmon simulation

Genetically modified strains usually are generated within defined genetic backgrounds to minimize variation for the engineered characteristic in order to facilitate basic research investigations or for commercial application. However, interactions between transgenes and genetic background have been documented in both model and commercial agricultural species, indicating that allelic variation at transgene-modifying loci are not uncommon in genomes. Engineered organisms that have the potential to allow entry of transgenes into natural populations may cause changes to ecosystems via the interaction of their specific phenotypes with ecosystem components and services. A transgene introgressing through natural populations is likely to encounter a range of natural genetic variation (among individuals or sub-populations) that could result in changes in phenotype, concomitant with effects on fitness and ecosystem consequences that differ from that seen in the progenitor transgenic strain. In the present study, using a growth hormone transgenic salmon example, we have modeled selection of modifier loci (single and multiple) in the presence of a transgene and have found that accounting for genetic background can significantly affect the persistence of transgenes in populations, potentially reducing or reversing a “Trojan gene” effect. Influences from altered life history characteristics (e.g., developmental timing, age of maturation) and compensatory demographic/ecosystem controls (e.g., density dependence) also were found to have a strong influence on transgene effects. Further, with the presence of a transgene in a population, genetic backgrounds were found to shift in non-transgenic individuals as well, an effect expected to direct phenotypes away from naturally selected optima. The present model has revealed the importance of understanding effects of selection for background genetics on the evolution of phenotypes in populations harbouring transgenes